On a New High Dimensional Weisfeiler-Lehman Algorithm
نویسنده
چکیده
We investigate the following problem: how different can a cellular algebra be from its Schurian closure, i.e., the centralizer algebra of its automorphism group? For this purpose we introduce the notion of a Schurian polynomial approximation scheme measuring this difference. Some natural examples of such schemes arise from high dimensional generalizations of the Weisfeiler-Lehman algorithm which constructs the cellular closure of a set of matrices. We prove that all of these schemes are dominated by a new Schurian polynomial approximation scheme defined by the m-closure operators. A sufficient condition for the m-closure of a cellular algebra to coincide with its Schurian closure is given.
منابع مشابه
Equivalence in Finite-Variable Logics is Complete for Polynomial Time
How difficult is it to decide whether two finite structures can be distinguished in a given logic? For first order logic, this question is equivalent to the graph isomorphism problem with its well-known complexity theoretic difficulties. Somewhat surprisingly, the situation is much clearer when considering the fragments L of first-order logic whose formulas contain at most variables (for some )...
متن کاملGlobal Weisfeiler-Lehman Kernel
Most state-of-the-art graph kernels only take local graph properties into account, i.e., the kernel is computed with regard to properties of the neighborhood of vertices or other small substructures only. On the other hand, kernels that do take global graph properties into account may not scale well to large graph databases. Here we propose to start exploring the space between local and global ...
متن کاملFast Practical Algorithm Based on Weisfeiler-lehman Method for Graph Isomorphism
Graph isomorphism problem is to determine whether two given graphs are isomorphic. It is a particular type of a more general problem “the isomorphism of incidence system”. I propose some new invariants for heuristic search of graph isomorphism and demonstrate that they are really useful in practice by experiments. Keyword. graph isomorphism, graph invariant, graph spectrum , adjacency matrix, m...
متن کاملThe Graph Isomorphism Problem and approximate categories
It is unknown whether two graphs can be tested for isomorphism in polynomial time. A classical approach to the Graph Isomorphism Problem is the d-dimensional Weisfeiler-Lehman algorithm. The d-dimensional WL-algorithm can distinguish many pairs of graphs, but the pairs of non-isomorphic graphs constructed by Cai, Fürer and Immerman it cannot distinguish. If d is fixed, then the WL-algorithm run...
متن کاملThe pyramid quantized Weisfeiler-Lehman graph representation
Graphs are flexible and powerful representations for non-vectorial data with inherited structure. Exploiting these data requires the ability to efficiently represent and compare graphs. Unfortunately, standard solutions to these problems are either NP-hard, hard to parametrize or not expressive enough. Graph kernels, that have been introduced in the machine learning community the last decade, i...
متن کامل